<?php

file_put_contents("ip.txt", "'$_GET[ip]'")
?>